количественно оцениваемая спецификация требований

Programming: quantitative specification of requirements